System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
91	EN1.01 Expansion of geoLEDA Graphical Visualization Tool Richard Liang Joseph Tsay In the study of algorithms, it is very useful to have a system that not only contains a database of problems and their solutions, but als Add to Reading List Source URL: aao.sinica.edu.tw Language: English - Date: 2014-10-02 04:23:39 OMPL Algorithm Computing Computer programming Mathematics
92	Towards a Classification for Programming Exercises Nguyen-Thinh Le and Niels Pinkwart Humboldt Universität zu Berlin Germany {nguyen-thinh.le, niels.pinkwart}@hu-berlin.de Add to Reading List Source URL: cses.informatik.hu-berlin.de Language: English - Date: 2015-12-26 16:04:57 Education Software engineering Educational psychology Programming paradigms Computer programming Educational technology Intelligent tutoring system Exercise Functional programming Programming language Prolog
93	OrigaMeeple - The standing origami Meeple c Gilad Aharoni (Israel / MALow intermediate A 15cm (6 inch) square makes a 6.5cm (2.5 inch) tall model. Add to Reading List Source URL: www.giladorigami.com Language: English - Date: 2008-11-21 11:03:30 Sewing Visual arts Software engineering Computer programming Paper folding Structural geology Deformation Fold Origami Pleat Tuck YoshizawaRandlett system
94	EtoileUI at FOSDEM 2010 Smalltalk vs ObjC Memo Smalltak tulip witherWithSpeed: 54 Add to Reading List Source URL: etoileos.com Language: English - Date: 2011-06-20 13:00:26 Software Computing System software GNUstep NeXT Graphical user interfaces User interface techniques Object-oriented programming languages toil Post-WIMP Digg Smalltalk
95	Science of Computer Programming–588 Contents lists available at ScienceDirect Science of Computer Programming www.elsevier.com/locate/scico Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2014-12-27 06:21:41 Software Computing Data management Computer performance Million service units IBM Information Management System Mainframe computer IBM System z9 Database Oracle Corporation Stored procedure MIPS instruction set
96	Using Rules to Generate and Execute Workflows in Smart Factories Dörthe Arndt, Joachim Van Herwegen, Ruben Verborgh, Erik Mannens, and Rik Van de Walle Ghent University - iMinds - Data Science Lab Sint-Pietersnieuwstraa Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-06-25 09:23:48 Workflow technology Software Application software Engineering Workflow Application programming interface Scientific workflow system
97	MONFISPOL Grant no.: DeliverableBeta-version of parallel routines: user manual. Marco Ratto, European Commission, Joint Research Centre Ivano Azzini, Houtan Bastani, Sebastien Villemot, DYNARE Team July 8, Add to Reading List Source URL: www.monfispol.eu Language: English - Date: 2011-11-16 08:02:14 Software Computing Parallel computing Array programming languages Cross-platform software Computer cluster Concurrent computing Command-line interface Operating system Filter MATLAB GNU Octave
98	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
99	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
100	The Marriage of MrMathematica and MzScheme Chongkai Zhu Abstract Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:54:01 Software Computing Functional languages Wolfram Mathematica Lisp Anonymous function Eval Computer algebra system SageMath Scheme Functional programming Relational operator

UPDATE